MiKO - Mikado Koncurrent Objects
نویسندگان
چکیده
In this section we introduce the syntax and operational semantics of MiKO. MiKO is a distributed higher order instance of TyCO-calculus [5] based on the MIKADO’s membrane model [2, 3], distributing processes over a flat network of domains. The migration of code from one domain to another passes always through the domains’s membranes. The calculus contains special primitives to handle migration between such domains.
منابع مشابه
Miniaturisation effects in larvae and adults of Mikado sp. (Coleoptera: Ptiliidae), one of the smallest free-living insects.
We present the first morphological study of larvae and adults of Mikado sp. - one of the smallest known beetles and free-living insects (body length of adult is 390-455microm). Morphological and developmental consequences of miniaturisation in Mikado and insects in general are discussed. We used histological sectioning, scanning electron microscopy, laser confocal microscopy and 3D-computer rec...
متن کاملMIKADO Global Computing Project IST-2001-32222 Mobile Calculi Based on Domains
This document presents a brief summary of the Mikado project: its scientific and technical objectives, its innovative aspects and expected results, its organization, and its partners.
متن کاملModelling the environmental impact of an aluminium pressure die casting plant and options for control
This study describes a model (MIKADO) to analyse options to reduce the environmental impact of aluminium die casting. This model will take a company perspective, so that it can be used as a decision-support tool for the environmental management of a plant. MIKADO can be used to perform scenario analyses to analyse the impact on the environment of different strategies, while taking into account ...
متن کاملSIMPLE DUAL BRAIDS, NONCROSSING PARTITIONS AND MIKADO BRAIDS OF TYPE Dn
We show that the simple elements of the dual Garside structure of an Artin group of type Dn are Mikado braids, giving a positive answer to a conjecture of Digne and the second author. To this end, we use an embedding of the Artin group of type Dn in a suitable quotient of an Artin group of type Bn noticed by Allcock, of which we give a simple algebraic proof here. This allows one to give a char...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005